Logical syntax

Results: 623



#Item
111Semantics / Philosophy of language / Logical syntax / Metalogic / Inferential role semantics / Robert Brandom / Meaning / Formal proof / Truth / Logic / Philosophy / Philosophical logic

Microsoft Word - Inferentialism-Sofia.doc

Add to Reading List

Source URL: jarda.peregrin.cz

Language: English - Date: 2012-05-27 04:13:34
112Model theory / Formal languages / Constraint programming / Logical syntax / Interpretation / Constructible universe / Well-formed formula / Satisfiability / Function / Logic / Mathematics / Mathematical logic

Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis Isil Dillig Thomas Dillig Alex Aiken

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2010-05-07 20:34:22
113Philosophical logic / Predicate logic / Logical syntax / FO / Well-formed formula / Method of analytic tableaux / Constructible universe / Temporal logic / Universal quantification / Logic / Mathematical logic / Quantification

A Really RAJEEV Stanford Temporal

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2014-03-05 16:49:09
114Formal methods / Logical syntax / Logic in computer science / Mathematical logic / Automated theorem proving / Interpolation / Satisfiability Modulo Theories / Vampire / Theorem / Logic / Theoretical computer science / Mathematics

Vinter: A Vampire-Based Tool for Interpolation ? Kryˇstof Hoder1 , Andreas Holzer2 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2012-09-19 03:03:42
115Logical syntax / Automated theorem proving / Formal languages / Formal methods / Vampire / Resolution / Conjunctive normal form / E theorem prover / First-order logic / Logic / Mathematics / Mathematical logic

First-Order Theorem Proving and VAMPIRE? Laura Kov´acs1 and Andrei Voronkov2 1 Chalmers University of Technology 2

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2013-05-02 16:51:41
116Logical syntax / Formal languages / Entailment / Logical consequence / Interpretation / Natural deduction / Model theory / Well-formed formula / Function / Logic / Metalogic / Deduction

LiLT volume 9, issue 1 July 2013 Synthetic logic Alex J. Djalali1

Add to Reading List

Source URL: www.stanford.edu

Language: English - Date: 2013-11-12 22:35:43
117Logical syntax / Logic in computer science / Proof theory / Mathematical logic / Mathematical proof / Theorem / Formal proof / Automated reasoning / Logic / Mathematics / Automated theorem proving

[hal, v1] Proof Certi?cation in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2014-01-28 10:11:41
118Logical consequence / Logical syntax / Metalogic / S0 / Logic / Deduction / Entailment

A First-Order Theory of Communication Multi-Agent Plans: Appendix B Leora Morgenstern IBM Watson Labs

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2005-03-06 13:46:11
119Boolean algebra / Logical syntax / Formal languages / Well-formed formula / Logical connective / FO / Logic / Mathematical logic / Propositional calculus

/home/lwb/beta/doc/ref/ref_lwb2.dvi

Add to Reading List

Source URL: www.lwb.unibe.ch

Language: English - Date: 2010-05-10 07:17:13
120Variables / Mathematics / Algebra / Logical syntax

Microsoft Word - Sci_709Sci_S2_investigation.doc

Add to Reading List

Source URL: www.curriculumsupport.education.nsw.gov.au

Language: English - Date: 2006-04-06 00:49:36
UPDATE